1. The Logic of Level Curves
A function of two variables $f(x, y)$ maps a point in the $\mathbb{R}^2$ plane to a height $z$. We interpret this via level curves, defined as:
The level curves of a function $f$ of two variables are the curves with equations $f(x, y) = k$, where $k$ is a constant in the range of $f$.
2. Higher Dimensions: Level Surfaces
A function of three variables assigns a number $z = f(x, y, z)$ to an ordered triple. Since we cannot graph in 4D, we use level surfaces:
$$f(x, y, z) = k$$
For example, the function $f(x, y, z) = x^2 + y^2 + z^2$ produces a family of concentric spheres as its level surfaces. Conversely, note the Representation Limit: an entire sphere cannot be represented by a single function of $x$ and $y$. We must use piecewise definitions like $g(x, y) = \sqrt{9 - x^2 - y^2}$ (upper hemisphere) and $h(x, y) = -\sqrt{9 - x^2 - y^2}$ (lower hemisphere).
3. Advanced Visual Structures
Visualization is the bedrock for the core operations of multivariable calculus:
- Linearization: The function $L$ is the linearization of $f$ at $(a, b)$, and the approximation $f(x, y) \approx L(x, y)$ is the geometric interpretation of the tangent plane.
- Directional Derivatives: Represented as $D_{\mathbf{u}} f(x_0, y_0, z_0) = \lim_{h \to 0} \frac{f(x_0 + ha, y_0 + hb, z_0 + hc) - f(x_0, y_0, z_0)}{h}$. This is the "slope" of the surface in direction $\mathbf{u}$.
- The Gradient ($\nabla f$): It is proven that $D_{\mathbf{u}} f = \nabla f \cdot \mathbf{u} = |\nabla f| \cos \theta$. The gradient is always perpendicular to level curves, pointing in the direction of steepest ascent ($\theta=0$).
- Clairaut's Theorem: For continuous mixed partials, $f_{xy} = f_{yx}$.
- Laplace's Equation: Steady-state temperature surfaces satisfy $u_{xx} + u_{yy} = 0$.
- Optimization: Extrema often occur where level curves of $f$ are tangent to constraint curves $g$, solved via Lagrange Multipliers: $\nabla f = \lambda \nabla g$.